permanent benchmark

【工程】永久水准基点